blob: 0e60aa9b38bb463a64ae6a684e0eda54c0449d6b [file] [log] [blame]
Howard Hinnantbc8d3f92010-05-11 19:42:161// -*- C++ -*-
2//===-------------------------- iterator ----------------------------------===//
3//
Howard Hinnantf5256e12010-05-11 21:36:014// The LLVM Compiler Infrastructure
Howard Hinnantbc8d3f92010-05-11 19:42:165//
Howard Hinnantb64f8b02010-11-16 22:09:026// This file is dual licensed under the MIT and the University of Illinois Open
7// Source Licenses. See LICENSE.TXT for details.
Howard Hinnantbc8d3f92010-05-11 19:42:168//
9//===----------------------------------------------------------------------===//
10
11#ifndef _LIBCPP_ITERATOR
12#define _LIBCPP_ITERATOR
13
14/*
15 iterator synopsis
16
17namespace std
18{
19
20template<class Iterator>
21struct iterator_traits
22{
23 typedef typename Iterator::difference_type difference_type;
24 typedef typename Iterator::value_type value_type;
25 typedef typename Iterator::pointer pointer;
26 typedef typename Iterator::reference reference;
27 typedef typename Iterator::iterator_category iterator_category;
28};
29
30template<class T>
31struct iterator_traits<T*>
32{
33 typedef ptrdiff_t difference_type;
34 typedef T value_type;
35 typedef T* pointer;
36 typedef T& reference;
37 typedef random_access_iterator_tag iterator_category;
38};
39
40template<class T>
41struct iterator_traits<const T*>
42{
43 typedef ptrdiff_t difference_type;
44 typedef T value_type;
45 typedef const T* pointer;
46 typedef const T& reference;
47 typedef random_access_iterator_tag iterator_category;
48};
49
50template<class Category, class T, class Distance = ptrdiff_t,
51 class Pointer = T*, class Reference = T&>
52struct iterator
53{
54 typedef T value_type;
55 typedef Distance difference_type;
56 typedef Pointer pointer;
57 typedef Reference reference;
58 typedef Category iterator_category;
59};
60
61struct input_iterator_tag {};
62struct output_iterator_tag {};
63struct forward_iterator_tag : public input_iterator_tag {};
64struct bidirectional_iterator_tag : public forward_iterator_tag {};
65struct random_access_iterator_tag : public bidirectional_iterator_tag {};
66
67// extension: second argument not conforming to C++03
68template <class InputIterator>
69void advance(InputIterator& i,
70 typename iterator_traits<InputIterator>::difference_type n);
71
72template <class InputIterator>
73typename iterator_traits<InputIterator>::difference_type
74distance(InputIterator first, InputIterator last);
75
76template <class Iterator>
77class reverse_iterator
78 : public iterator<typename iterator_traits<Iterator>::iterator_category,
79 typename iterator_traits<Iterator>::value_type,
80 typename iterator_traits<Iterator>::difference_type,
81 typename iterator_traits<Iterator>::pointer,
82 typename iterator_traits<Iterator>::reference>
83{
84protected:
85 Iterator current;
86public:
87 typedef Iterator iterator_type;
88 typedef typename iterator_traits<Iterator>::difference_type difference_type;
89 typedef typename iterator_traits<Iterator>::reference reference;
90 typedef typename iterator_traits<Iterator>::pointer pointer;
Howard Hinnant324bb032010-08-22 00:02:4391
Howard Hinnantbc8d3f92010-05-11 19:42:1692 reverse_iterator();
93 explicit reverse_iterator(Iterator x);
94 template <class U> reverse_iterator(const reverse_iterator<U>& u);
95 Iterator base() const;
96 reference operator*() const;
97 pointer operator->() const;
98 reverse_iterator& operator++();
99 reverse_iterator operator++(int);
100 reverse_iterator& operator--();
101 reverse_iterator operator--(int);
102 reverse_iterator operator+ (difference_type n) const;
103 reverse_iterator& operator+=(difference_type n);
104 reverse_iterator operator- (difference_type n) const;
105 reverse_iterator& operator-=(difference_type n);
106 reference operator[](difference_type n) const;
107};
108
109template <class Iterator1, class Iterator2>
110bool
111operator==(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y);
112
113template <class Iterator1, class Iterator2>
114bool
115operator<(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y);
116
117template <class Iterator1, class Iterator2>
118bool
119operator!=(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y);
120
121template <class Iterator1, class Iterator2>
122bool
123operator>(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y);
124
125template <class Iterator1, class Iterator2>
126bool
127operator>=(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y);
128
129template <class Iterator1, class Iterator2>
130bool
131operator<=(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y);
132
133template <class Iterator1, class Iterator2>
134typename reverse_iterator<Iterator1>::difference_type
135operator-(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y);
136
137template <class Iterator>
138reverse_iterator<Iterator>
139operator+(typename reverse_iterator<Iterator>::difference_type n, const reverse_iterator<Iterator>& x);
140
Marshall Clowff137e92014-03-03 01:24:04141template <class Iterator> reverse_iterator<Iterator> make_reverse_iterator(Iterator i); // C++14
142
Howard Hinnantbc8d3f92010-05-11 19:42:16143template <class Container>
144class back_insert_iterator
145{
146protected:
147 Container* container;
148public:
149 typedef Container container_type;
150 typedef void value_type;
151 typedef void difference_type;
152 typedef back_insert_iterator<Cont>& reference;
153 typedef void pointer;
154
155 explicit back_insert_iterator(Container& x);
Howard Hinnant45f57172010-09-14 20:26:27156 back_insert_iterator& operator=(const typename Container::value_type& value);
Howard Hinnantbc8d3f92010-05-11 19:42:16157 back_insert_iterator& operator*();
158 back_insert_iterator& operator++();
159 back_insert_iterator operator++(int);
160};
161
162template <class Container> back_insert_iterator<Container> back_inserter(Container& x);
163
164template <class Container>
165class front_insert_iterator
166{
167protected:
168 Container* container;
169public:
170 typedef Container container_type;
171 typedef void value_type;
172 typedef void difference_type;
173 typedef front_insert_iterator<Cont>& reference;
174 typedef void pointer;
175
176 explicit front_insert_iterator(Container& x);
Howard Hinnant45f57172010-09-14 20:26:27177 front_insert_iterator& operator=(const typename Container::value_type& value);
Howard Hinnantbc8d3f92010-05-11 19:42:16178 front_insert_iterator& operator*();
179 front_insert_iterator& operator++();
180 front_insert_iterator operator++(int);
181};
182
183template <class Container> front_insert_iterator<Container> front_inserter(Container& x);
184
185template <class Container>
186class insert_iterator
187{
188protected:
189 Container* container;
190 typename Container::iterator iter;
191public:
192 typedef Container container_type;
193 typedef void value_type;
194 typedef void difference_type;
195 typedef insert_iterator<Cont>& reference;
196 typedef void pointer;
197
198 insert_iterator(Container& x, typename Container::iterator i);
Howard Hinnant45f57172010-09-14 20:26:27199 insert_iterator& operator=(const typename Container::value_type& value);
Howard Hinnantbc8d3f92010-05-11 19:42:16200 insert_iterator& operator*();
201 insert_iterator& operator++();
202 insert_iterator& operator++(int);
203};
204
205template <class Container, class Iterator>
206insert_iterator<Container> inserter(Container& x, Iterator i);
207
208template <class T, class charT = char, class traits = char_traits<charT>, class Distance = ptrdiff_t>
209class istream_iterator
210 : public iterator<input_iterator_tag, T, Distance, const T*, const T&>
211{
212public:
213 typedef charT char_type;
214 typedef traits traits_type;
215 typedef basic_istream<charT,traits> istream_type;
216
Marshall Clowe9d03062015-04-16 21:36:54217 constexpr istream_iterator();
Howard Hinnantbc8d3f92010-05-11 19:42:16218 istream_iterator(istream_type& s);
219 istream_iterator(const istream_iterator& x);
220 ~istream_iterator();
221
222 const T& operator*() const;
223 const T* operator->() const;
224 istream_iterator& operator++();
225 istream_iterator operator++(int);
226};
227
228template <class T, class charT, class traits, class Distance>
229bool operator==(const istream_iterator<T,charT,traits,Distance>& x,
230 const istream_iterator<T,charT,traits,Distance>& y);
231template <class T, class charT, class traits, class Distance>
232bool operator!=(const istream_iterator<T,charT,traits,Distance>& x,
233 const istream_iterator<T,charT,traits,Distance>& y);
234
235template <class T, class charT = char, class traits = char_traits<charT> >
236class ostream_iterator
237 : public iterator<output_iterator_tag, void, void, void ,void>
238{
239public:
240 typedef charT char_type;
241 typedef traits traits_type;
242 typedef basic_ostream<charT,traits> ostream_type;
243
244 ostream_iterator(ostream_type& s);
245 ostream_iterator(ostream_type& s, const charT* delimiter);
246 ostream_iterator(const ostream_iterator& x);
247 ~ostream_iterator();
248 ostream_iterator& operator=(const T& value);
249
250 ostream_iterator& operator*();
251 ostream_iterator& operator++();
252 ostream_iterator& operator++(int);
253};
254
255template<class charT, class traits = char_traits<charT> >
256class istreambuf_iterator
257 : public iterator<input_iterator_tag, charT,
258 typename traits::off_type, unspecified,
259 charT>
260{
261public:
262 typedef charT char_type;
263 typedef traits traits_type;
264 typedef typename traits::int_type int_type;
265 typedef basic_streambuf<charT,traits> streambuf_type;
266 typedef basic_istream<charT,traits> istream_type;
267
Howard Hinnantd06a6402012-07-20 19:36:34268 istreambuf_iterator() noexcept;
269 istreambuf_iterator(istream_type& s) noexcept;
270 istreambuf_iterator(streambuf_type* s) noexcept;
271 istreambuf_iterator(a-private-type) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16272
273 charT operator*() const;
274 pointer operator->() const;
275 istreambuf_iterator& operator++();
276 a-private-type operator++(int);
277
278 bool equal(const istreambuf_iterator& b) const;
279};
280
281template <class charT, class traits>
282bool operator==(const istreambuf_iterator<charT,traits>& a,
283 const istreambuf_iterator<charT,traits>& b);
284template <class charT, class traits>
285bool operator!=(const istreambuf_iterator<charT,traits>& a,
286 const istreambuf_iterator<charT,traits>& b);
287
288template <class charT, class traits = char_traits<charT> >
289class ostreambuf_iterator
290 : public iterator<output_iterator_tag, void, void, void, void>
291{
292public:
293 typedef charT char_type;
294 typedef traits traits_type;
295 typedef basic_streambuf<charT,traits> streambuf_type;
296 typedef basic_ostream<charT,traits> ostream_type;
297
Howard Hinnantd06a6402012-07-20 19:36:34298 ostreambuf_iterator(ostream_type& s) noexcept;
299 ostreambuf_iterator(streambuf_type* s) noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16300 ostreambuf_iterator& operator=(charT c);
301 ostreambuf_iterator& operator*();
302 ostreambuf_iterator& operator++();
303 ostreambuf_iterator& operator++(int);
Howard Hinnantd06a6402012-07-20 19:36:34304 bool failed() const noexcept;
Howard Hinnantbc8d3f92010-05-11 19:42:16305};
306
307template <class C> auto begin(C& c) -> decltype(c.begin());
308template <class C> auto begin(const C& c) -> decltype(c.begin());
309template <class C> auto end(C& c) -> decltype(c.end());
310template <class C> auto end(const C& c) -> decltype(c.end());
311template <class T, size_t N> T* begin(T (&array)[N]);
312template <class T, size_t N> T* end(T (&array)[N]);
313
Marshall Clow09da3c02013-08-30 01:17:07314template <class C> auto cbegin(const C& c) -> decltype(std::begin(c)); // C++14
315template <class C> auto cend(const C& c) -> decltype(std::end(c)); // C++14
316template <class C> auto rbegin(C& c) -> decltype(c.rbegin()); // C++14
317template <class C> auto rbegin(const C& c) -> decltype(c.rbegin()); // C++14
318template <class C> auto rend(C& c) -> decltype(c.rend()); // C++14
319template <class C> auto rend(const C& c) -> decltype(c.rend()); // C++14
320template <class E> reverse_iterator<const E*> rbegin(initializer_list<E> il); // C++14
321template <class E> reverse_iterator<const E*> rend(initializer_list<E> il); // C++14
322template <class T, size_t N> reverse_iterator<T*> rbegin(T (&array)[N]); // C++14
323template <class T, size_t N> reverse_iterator<T*> rend(T (&array)[N]); // C++14
324template <class C> auto crbegin(const C& c) -> decltype(std::rbegin(c)); // C++14
325template <class C> auto crend(const C& c) -> decltype(std::rend(c)); // C++14
326
Marshall Clow03c67912014-11-19 19:43:23327// 24.8, container access:
328template <class C> constexpr auto size(const C& c) -> decltype(c.size()); // C++17
329template <class T, size_t N> constexpr size_t size(const T (&array)[N]) noexcept; // C++17
330template <class C> constexpr auto empty(const C& c) -> decltype(c.empty()); // C++17
331template <class T, size_t N> constexpr bool empty(const T (&array)[N]) noexcept; // C++17
332template <class E> constexpr bool empty(initializer_list<E> il) noexcept; // C++17
333template <class C> constexpr auto data(C& c) -> decltype(c.data()); // C++17
334template <class C> constexpr auto data(const C& c) -> decltype(c.data()); // C++17
335template <class T, size_t N> constexpr T* data(T (&array)[N]) noexcept; // C++17
336template <class E> constexpr const E* data(initializer_list<E> il) noexcept; // C++17
337
Howard Hinnantbc8d3f92010-05-11 19:42:16338} // std
339
340*/
341
342#include <__config>
Eric Fiselierb3792282016-02-20 00:19:45343#include <iosfwd> // for forward declarations of vector and string.
Marshall Clow02ca8af2014-02-27 02:11:50344#include <__functional_base>
Howard Hinnantbc8d3f92010-05-11 19:42:16345#include <type_traits>
346#include <cstddef>
Marshall Clow09da3c02013-08-30 01:17:07347#include <initializer_list>
Marshall Clowdece7fe2013-03-18 17:45:34348#ifdef __APPLE__
Howard Hinnant537b2fa2012-11-14 21:17:15349#include <Availability.h>
350#endif
351
Eric Fiselierb9536102014-08-10 23:53:08352#include <__debug>
Howard Hinnantbc8d3f92010-05-11 19:42:16353
Howard Hinnant08e17472011-10-17 20:05:10354#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
Howard Hinnantbc8d3f92010-05-11 19:42:16355#pragma GCC system_header
Howard Hinnant08e17472011-10-17 20:05:10356#endif
Howard Hinnantbc8d3f92010-05-11 19:42:16357
358_LIBCPP_BEGIN_NAMESPACE_STD
359
Howard Hinnant0f678bd2013-08-12 18:38:34360struct _LIBCPP_TYPE_VIS_ONLY input_iterator_tag {};
361struct _LIBCPP_TYPE_VIS_ONLY output_iterator_tag {};
362struct _LIBCPP_TYPE_VIS_ONLY forward_iterator_tag : public input_iterator_tag {};
363struct _LIBCPP_TYPE_VIS_ONLY bidirectional_iterator_tag : public forward_iterator_tag {};
364struct _LIBCPP_TYPE_VIS_ONLY random_access_iterator_tag : public bidirectional_iterator_tag {};
Howard Hinnantbc8d3f92010-05-11 19:42:16365
366template <class _Tp>
367struct __has_iterator_category
368{
369private:
Howard Hinnant9c0df142012-10-30 19:06:59370 struct __two {char __lx; char __lxx;};
Howard Hinnantbc8d3f92010-05-11 19:42:16371 template <class _Up> static __two __test(...);
372 template <class _Up> static char __test(typename _Up::iterator_category* = 0);
373public:
374 static const bool value = sizeof(__test<_Tp>(0)) == 1;
375};
376
Marshall Clowa71f9562014-01-03 22:55:49377template <class _Iter, bool> struct __iterator_traits_impl {};
Howard Hinnantbc8d3f92010-05-11 19:42:16378
379template <class _Iter>
Marshall Clowa71f9562014-01-03 22:55:49380struct __iterator_traits_impl<_Iter, true>
Howard Hinnantbc8d3f92010-05-11 19:42:16381{
382 typedef typename _Iter::difference_type difference_type;
383 typedef typename _Iter::value_type value_type;
384 typedef typename _Iter::pointer pointer;
385 typedef typename _Iter::reference reference;
386 typedef typename _Iter::iterator_category iterator_category;
387};
388
389template <class _Iter, bool> struct __iterator_traits {};
390
391template <class _Iter>
392struct __iterator_traits<_Iter, true>
Marshall Clowa71f9562014-01-03 22:55:49393 : __iterator_traits_impl
Howard Hinnantbc8d3f92010-05-11 19:42:16394 <
395 _Iter,
396 is_convertible<typename _Iter::iterator_category, input_iterator_tag>::value ||
397 is_convertible<typename _Iter::iterator_category, output_iterator_tag>::value
398 >
399{};
400
401// iterator_traits<Iterator> will only have the nested types if Iterator::iterator_category
402// exists. Else iterator_traits<Iterator> will be an empty class. This is a
403// conforming extension which allows some programs to compile and behave as
404// the client expects instead of failing at compile time.
405
406template <class _Iter>
Howard Hinnant0f678bd2013-08-12 18:38:34407struct _LIBCPP_TYPE_VIS_ONLY iterator_traits
Howard Hinnantbc8d3f92010-05-11 19:42:16408 : __iterator_traits<_Iter, __has_iterator_category<_Iter>::value> {};
409
410template<class _Tp>
Howard Hinnant0f678bd2013-08-12 18:38:34411struct _LIBCPP_TYPE_VIS_ONLY iterator_traits<_Tp*>
Howard Hinnantbc8d3f92010-05-11 19:42:16412{
413 typedef ptrdiff_t difference_type;
414 typedef typename remove_const<_Tp>::type value_type;
415 typedef _Tp* pointer;
416 typedef _Tp& reference;
417 typedef random_access_iterator_tag iterator_category;
418};
419
420template <class _Tp, class _Up, bool = __has_iterator_category<iterator_traits<_Tp> >::value>
421struct __has_iterator_category_convertible_to
422 : public integral_constant<bool, is_convertible<typename iterator_traits<_Tp>::iterator_category, _Up>::value>
423{};
424
425template <class _Tp, class _Up>
426struct __has_iterator_category_convertible_to<_Tp, _Up, false> : public false_type {};
427
428template <class _Tp>
429struct __is_input_iterator : public __has_iterator_category_convertible_to<_Tp, input_iterator_tag> {};
430
431template <class _Tp>
432struct __is_forward_iterator : public __has_iterator_category_convertible_to<_Tp, forward_iterator_tag> {};
433
434template <class _Tp>
435struct __is_bidirectional_iterator : public __has_iterator_category_convertible_to<_Tp, bidirectional_iterator_tag> {};
436
437template <class _Tp>
438struct __is_random_access_iterator : public __has_iterator_category_convertible_to<_Tp, random_access_iterator_tag> {};
439
Marshall Clowdf9db312016-01-13 21:54:34440template <class _Tp>
441struct __is_exactly_input_iterator
442 : public integral_constant<bool,
443 __has_iterator_category_convertible_to<_Tp, input_iterator_tag>::value &&
444 !__has_iterator_category_convertible_to<_Tp, forward_iterator_tag>::value> {};
445
Howard Hinnantbc8d3f92010-05-11 19:42:16446template<class _Category, class _Tp, class _Distance = ptrdiff_t,
447 class _Pointer = _Tp*, class _Reference = _Tp&>
Howard Hinnant0f678bd2013-08-12 18:38:34448struct _LIBCPP_TYPE_VIS_ONLY iterator
Howard Hinnantbc8d3f92010-05-11 19:42:16449{
450 typedef _Tp value_type;
451 typedef _Distance difference_type;
452 typedef _Pointer pointer;
453 typedef _Reference reference;
454 typedef _Category iterator_category;
455};
456
457template <class _InputIter>
458inline _LIBCPP_INLINE_VISIBILITY
459void __advance(_InputIter& __i,
460 typename iterator_traits<_InputIter>::difference_type __n, input_iterator_tag)
461{
462 for (; __n > 0; --__n)
463 ++__i;
464}
465
466template <class _BiDirIter>
467inline _LIBCPP_INLINE_VISIBILITY
468void __advance(_BiDirIter& __i,
469 typename iterator_traits<_BiDirIter>::difference_type __n, bidirectional_iterator_tag)
470{
471 if (__n >= 0)
472 for (; __n > 0; --__n)
473 ++__i;
474 else
475 for (; __n < 0; ++__n)
476 --__i;
477}
478
479template <class _RandIter>
480inline _LIBCPP_INLINE_VISIBILITY
481void __advance(_RandIter& __i,
482 typename iterator_traits<_RandIter>::difference_type __n, random_access_iterator_tag)
483{
484 __i += __n;
485}
486
487template <class _InputIter>
488inline _LIBCPP_INLINE_VISIBILITY
489void advance(_InputIter& __i,
490 typename iterator_traits<_InputIter>::difference_type __n)
491{
492 __advance(__i, __n, typename iterator_traits<_InputIter>::iterator_category());
493}
494
495template <class _InputIter>
496inline _LIBCPP_INLINE_VISIBILITY
497typename iterator_traits<_InputIter>::difference_type
498__distance(_InputIter __first, _InputIter __last, input_iterator_tag)
499{
500 typename iterator_traits<_InputIter>::difference_type __r(0);
501 for (; __first != __last; ++__first)
502 ++__r;
503 return __r;
504}
505
506template <class _RandIter>
507inline _LIBCPP_INLINE_VISIBILITY
508typename iterator_traits<_RandIter>::difference_type
509__distance(_RandIter __first, _RandIter __last, random_access_iterator_tag)
510{
511 return __last - __first;
512}
513
514template <class _InputIter>
515inline _LIBCPP_INLINE_VISIBILITY
516typename iterator_traits<_InputIter>::difference_type
517distance(_InputIter __first, _InputIter __last)
518{
519 return __distance(__first, __last, typename iterator_traits<_InputIter>::iterator_category());
520}
521
Marshall Clowe9ef9882015-11-07 17:48:49522template <class _InputIter>
Howard Hinnant82894812010-09-22 16:48:34523inline _LIBCPP_INLINE_VISIBILITY
Marshall Clowe9ef9882015-11-07 17:48:49524_InputIter
525next(_InputIter __x,
526 typename iterator_traits<_InputIter>::difference_type __n = 1,
527 typename enable_if<__is_input_iterator<_InputIter>::value>::type* = 0)
Howard Hinnantbc8d3f92010-05-11 19:42:16528{
Howard Hinnant0949eed2011-06-30 21:18:19529 _VSTD::advance(__x, __n);
Howard Hinnantbc8d3f92010-05-11 19:42:16530 return __x;
531}
532
533template <class _BidiretionalIter>
Howard Hinnant82894812010-09-22 16:48:34534inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:16535_BidiretionalIter
536prev(_BidiretionalIter __x,
537 typename iterator_traits<_BidiretionalIter>::difference_type __n = 1,
538 typename enable_if<__is_bidirectional_iterator<_BidiretionalIter>::value>::type* = 0)
539{
Howard Hinnant0949eed2011-06-30 21:18:19540 _VSTD::advance(__x, -__n);
Howard Hinnantbc8d3f92010-05-11 19:42:16541 return __x;
542}
543
544template <class _Iter>
Howard Hinnant0f678bd2013-08-12 18:38:34545class _LIBCPP_TYPE_VIS_ONLY reverse_iterator
Howard Hinnantbc8d3f92010-05-11 19:42:16546 : public iterator<typename iterator_traits<_Iter>::iterator_category,
547 typename iterator_traits<_Iter>::value_type,
548 typename iterator_traits<_Iter>::difference_type,
549 typename iterator_traits<_Iter>::pointer,
550 typename iterator_traits<_Iter>::reference>
551{
Marshall Clow668a1d82014-03-11 22:05:31552private:
553 mutable _Iter __t; // no longer used as of LWG #2360, not removed due to ABI break
Marshall Clow5a8e27b2014-03-12 01:19:36554protected:
555 _Iter current;
Howard Hinnantbc8d3f92010-05-11 19:42:16556public:
557 typedef _Iter iterator_type;
558 typedef typename iterator_traits<_Iter>::difference_type difference_type;
559 typedef typename iterator_traits<_Iter>::reference reference;
560 typedef typename iterator_traits<_Iter>::pointer pointer;
Howard Hinnant324bb032010-08-22 00:02:43561
Marshall Clow5a8e27b2014-03-12 01:19:36562 _LIBCPP_INLINE_VISIBILITY reverse_iterator() : current() {}
563 _LIBCPP_INLINE_VISIBILITY explicit reverse_iterator(_Iter __x) : __t(__x), current(__x) {}
Howard Hinnantbc8d3f92010-05-11 19:42:16564 template <class _Up> _LIBCPP_INLINE_VISIBILITY reverse_iterator(const reverse_iterator<_Up>& __u)
Marshall Clow5a8e27b2014-03-12 01:19:36565 : __t(__u.base()), current(__u.base()) {}
Howard Hinnantbc8d3f92010-05-11 19:42:16566 _LIBCPP_INLINE_VISIBILITY _Iter base() const {return current;}
Marshall Clowb1ead682014-03-11 17:16:17567 _LIBCPP_INLINE_VISIBILITY reference operator*() const {_Iter __tmp = current; return *--__tmp;}
Marshall Clow02ca8af2014-02-27 02:11:50568 _LIBCPP_INLINE_VISIBILITY pointer operator->() const {return _VSTD::addressof(operator*());}
Howard Hinnantbc8d3f92010-05-11 19:42:16569 _LIBCPP_INLINE_VISIBILITY reverse_iterator& operator++() {--current; return *this;}
570 _LIBCPP_INLINE_VISIBILITY reverse_iterator operator++(int)
571 {reverse_iterator __tmp(*this); --current; return __tmp;}
572 _LIBCPP_INLINE_VISIBILITY reverse_iterator& operator--() {++current; return *this;}
573 _LIBCPP_INLINE_VISIBILITY reverse_iterator operator--(int)
574 {reverse_iterator __tmp(*this); ++current; return __tmp;}
575 _LIBCPP_INLINE_VISIBILITY reverse_iterator operator+ (difference_type __n) const
576 {return reverse_iterator(current - __n);}
577 _LIBCPP_INLINE_VISIBILITY reverse_iterator& operator+=(difference_type __n)
578 {current -= __n; return *this;}
579 _LIBCPP_INLINE_VISIBILITY reverse_iterator operator- (difference_type __n) const
580 {return reverse_iterator(current + __n);}
581 _LIBCPP_INLINE_VISIBILITY reverse_iterator& operator-=(difference_type __n)
582 {current += __n; return *this;}
583 _LIBCPP_INLINE_VISIBILITY reference operator[](difference_type __n) const
Marshall Clowad98e212015-03-05 16:07:37584 {return *(*this + __n);}
Howard Hinnantbc8d3f92010-05-11 19:42:16585};
586
587template <class _Iter1, class _Iter2>
588inline _LIBCPP_INLINE_VISIBILITY
589bool
590operator==(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y)
591{
592 return __x.base() == __y.base();
593}
594
595template <class _Iter1, class _Iter2>
596inline _LIBCPP_INLINE_VISIBILITY
597bool
598operator<(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y)
599{
600 return __x.base() > __y.base();
601}
602
603template <class _Iter1, class _Iter2>
604inline _LIBCPP_INLINE_VISIBILITY
605bool
606operator!=(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y)
607{
608 return __x.base() != __y.base();
609}
610
611template <class _Iter1, class _Iter2>
612inline _LIBCPP_INLINE_VISIBILITY
613bool
614operator>(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y)
615{
616 return __x.base() < __y.base();
617}
618
619template <class _Iter1, class _Iter2>
620inline _LIBCPP_INLINE_VISIBILITY
621bool
622operator>=(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y)
623{
624 return __x.base() <= __y.base();
625}
626
627template <class _Iter1, class _Iter2>
628inline _LIBCPP_INLINE_VISIBILITY
629bool
630operator<=(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y)
631{
632 return __x.base() >= __y.base();
633}
634
635template <class _Iter1, class _Iter2>
636inline _LIBCPP_INLINE_VISIBILITY
637typename reverse_iterator<_Iter1>::difference_type
638operator-(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y)
639{
640 return __y.base() - __x.base();
641}
642
643template <class _Iter>
644inline _LIBCPP_INLINE_VISIBILITY
645reverse_iterator<_Iter>
646operator+(typename reverse_iterator<_Iter>::difference_type __n, const reverse_iterator<_Iter>& __x)
647{
648 return reverse_iterator<_Iter>(__x.base() - __n);
649}
650
Marshall Clowff137e92014-03-03 01:24:04651#if _LIBCPP_STD_VER > 11
652template <class _Iter>
653inline _LIBCPP_INLINE_VISIBILITY
654reverse_iterator<_Iter> make_reverse_iterator(_Iter __i)
655{
656 return reverse_iterator<_Iter>(__i);
657}
658#endif
659
Howard Hinnantbc8d3f92010-05-11 19:42:16660template <class _Container>
Howard Hinnant0f678bd2013-08-12 18:38:34661class _LIBCPP_TYPE_VIS_ONLY back_insert_iterator
Howard Hinnantbc8d3f92010-05-11 19:42:16662 : public iterator<output_iterator_tag,
663 void,
664 void,
665 void,
666 back_insert_iterator<_Container>&>
667{
668protected:
669 _Container* container;
670public:
671 typedef _Container container_type;
672
Marshall Clow53c0e722014-03-03 19:20:40673 _LIBCPP_INLINE_VISIBILITY explicit back_insert_iterator(_Container& __x) : container(_VSTD::addressof(__x)) {}
Howard Hinnant78b68282011-10-22 20:59:45674 _LIBCPP_INLINE_VISIBILITY back_insert_iterator& operator=(const typename _Container::value_type& __value_)
675 {container->push_back(__value_); return *this;}
Howard Hinnant73d21a42010-09-04 23:28:19676#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnant78b68282011-10-22 20:59:45677 _LIBCPP_INLINE_VISIBILITY back_insert_iterator& operator=(typename _Container::value_type&& __value_)
678 {container->push_back(_VSTD::move(__value_)); return *this;}
Howard Hinnant73d21a42010-09-04 23:28:19679#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnantbc8d3f92010-05-11 19:42:16680 _LIBCPP_INLINE_VISIBILITY back_insert_iterator& operator*() {return *this;}
681 _LIBCPP_INLINE_VISIBILITY back_insert_iterator& operator++() {return *this;}
682 _LIBCPP_INLINE_VISIBILITY back_insert_iterator operator++(int) {return *this;}
683};
684
685template <class _Container>
686inline _LIBCPP_INLINE_VISIBILITY
687back_insert_iterator<_Container>
688back_inserter(_Container& __x)
689{
690 return back_insert_iterator<_Container>(__x);
691}
692
693template <class _Container>
Howard Hinnant0f678bd2013-08-12 18:38:34694class _LIBCPP_TYPE_VIS_ONLY front_insert_iterator
Howard Hinnantbc8d3f92010-05-11 19:42:16695 : public iterator<output_iterator_tag,
696 void,
697 void,
698 void,
699 front_insert_iterator<_Container>&>
700{
701protected:
702 _Container* container;
703public:
704 typedef _Container container_type;
705
Marshall Clow53c0e722014-03-03 19:20:40706 _LIBCPP_INLINE_VISIBILITY explicit front_insert_iterator(_Container& __x) : container(_VSTD::addressof(__x)) {}
Howard Hinnant78b68282011-10-22 20:59:45707 _LIBCPP_INLINE_VISIBILITY front_insert_iterator& operator=(const typename _Container::value_type& __value_)
708 {container->push_front(__value_); return *this;}
Howard Hinnant73d21a42010-09-04 23:28:19709#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnant78b68282011-10-22 20:59:45710 _LIBCPP_INLINE_VISIBILITY front_insert_iterator& operator=(typename _Container::value_type&& __value_)
711 {container->push_front(_VSTD::move(__value_)); return *this;}
Howard Hinnant73d21a42010-09-04 23:28:19712#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnantbc8d3f92010-05-11 19:42:16713 _LIBCPP_INLINE_VISIBILITY front_insert_iterator& operator*() {return *this;}
714 _LIBCPP_INLINE_VISIBILITY front_insert_iterator& operator++() {return *this;}
715 _LIBCPP_INLINE_VISIBILITY front_insert_iterator operator++(int) {return *this;}
716};
717
718template <class _Container>
719inline _LIBCPP_INLINE_VISIBILITY
720front_insert_iterator<_Container>
721front_inserter(_Container& __x)
722{
723 return front_insert_iterator<_Container>(__x);
724}
725
726template <class _Container>
Howard Hinnant0f678bd2013-08-12 18:38:34727class _LIBCPP_TYPE_VIS_ONLY insert_iterator
Howard Hinnantbc8d3f92010-05-11 19:42:16728 : public iterator<output_iterator_tag,
729 void,
730 void,
731 void,
732 insert_iterator<_Container>&>
733{
734protected:
735 _Container* container;
736 typename _Container::iterator iter;
737public:
738 typedef _Container container_type;
739
740 _LIBCPP_INLINE_VISIBILITY insert_iterator(_Container& __x, typename _Container::iterator __i)
Marshall Clow53c0e722014-03-03 19:20:40741 : container(_VSTD::addressof(__x)), iter(__i) {}
Howard Hinnant78b68282011-10-22 20:59:45742 _LIBCPP_INLINE_VISIBILITY insert_iterator& operator=(const typename _Container::value_type& __value_)
743 {iter = container->insert(iter, __value_); ++iter; return *this;}
Howard Hinnant73d21a42010-09-04 23:28:19744#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnant78b68282011-10-22 20:59:45745 _LIBCPP_INLINE_VISIBILITY insert_iterator& operator=(typename _Container::value_type&& __value_)
746 {iter = container->insert(iter, _VSTD::move(__value_)); ++iter; return *this;}
Howard Hinnant73d21a42010-09-04 23:28:19747#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
Howard Hinnantbc8d3f92010-05-11 19:42:16748 _LIBCPP_INLINE_VISIBILITY insert_iterator& operator*() {return *this;}
749 _LIBCPP_INLINE_VISIBILITY insert_iterator& operator++() {return *this;}
750 _LIBCPP_INLINE_VISIBILITY insert_iterator& operator++(int) {return *this;}
751};
752
753template <class _Container>
754inline _LIBCPP_INLINE_VISIBILITY
755insert_iterator<_Container>
756inserter(_Container& __x, typename _Container::iterator __i)
757{
758 return insert_iterator<_Container>(__x, __i);
759}
760
761template <class _Tp, class _CharT = char,
762 class _Traits = char_traits<_CharT>, class _Distance = ptrdiff_t>
Howard Hinnant0f678bd2013-08-12 18:38:34763class _LIBCPP_TYPE_VIS_ONLY istream_iterator
Howard Hinnantbc8d3f92010-05-11 19:42:16764 : public iterator<input_iterator_tag, _Tp, _Distance, const _Tp*, const _Tp&>
765{
766public:
767 typedef _CharT char_type;
768 typedef _Traits traits_type;
769 typedef basic_istream<_CharT,_Traits> istream_type;
770private:
771 istream_type* __in_stream_;
772 _Tp __value_;
773public:
Marshall Clowe9d03062015-04-16 21:36:54774 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR istream_iterator() : __in_stream_(0), __value_() {}
Howard Hinnantbc8d3f92010-05-11 19:42:16775 _LIBCPP_INLINE_VISIBILITY istream_iterator(istream_type& __s) : __in_stream_(&__s)
776 {
777 if (!(*__in_stream_ >> __value_))
778 __in_stream_ = 0;
779 }
780
781 _LIBCPP_INLINE_VISIBILITY const _Tp& operator*() const {return __value_;}
782 _LIBCPP_INLINE_VISIBILITY const _Tp* operator->() const {return &(operator*());}
783 _LIBCPP_INLINE_VISIBILITY istream_iterator& operator++()
784 {
785 if (!(*__in_stream_ >> __value_))
786 __in_stream_ = 0;
787 return *this;
788 }
789 _LIBCPP_INLINE_VISIBILITY istream_iterator operator++(int)
790 {istream_iterator __t(*this); ++(*this); return __t;}
791
792 friend _LIBCPP_INLINE_VISIBILITY
793 bool operator==(const istream_iterator& __x, const istream_iterator& __y)
794 {return __x.__in_stream_ == __y.__in_stream_;}
795
796 friend _LIBCPP_INLINE_VISIBILITY
797 bool operator!=(const istream_iterator& __x, const istream_iterator& __y)
798 {return !(__x == __y);}
799};
800
801template <class _Tp, class _CharT = char, class _Traits = char_traits<_CharT> >
Howard Hinnant0f678bd2013-08-12 18:38:34802class _LIBCPP_TYPE_VIS_ONLY ostream_iterator
Howard Hinnantbc8d3f92010-05-11 19:42:16803 : public iterator<output_iterator_tag, void, void, void, void>
804{
805public:
806 typedef _CharT char_type;
807 typedef _Traits traits_type;
808 typedef basic_ostream<_CharT,_Traits> ostream_type;
809private:
810 ostream_type* __out_stream_;
811 const char_type* __delim_;
812public:
813 _LIBCPP_INLINE_VISIBILITY ostream_iterator(ostream_type& __s)
814 : __out_stream_(&__s), __delim_(0) {}
815 _LIBCPP_INLINE_VISIBILITY ostream_iterator(ostream_type& __s, const _CharT* __delimiter)
816 : __out_stream_(&__s), __delim_(__delimiter) {}
Howard Hinnant78b68282011-10-22 20:59:45817 _LIBCPP_INLINE_VISIBILITY ostream_iterator& operator=(const _Tp& __value_)
Howard Hinnantbc8d3f92010-05-11 19:42:16818 {
Howard Hinnant78b68282011-10-22 20:59:45819 *__out_stream_ << __value_;
Howard Hinnantbc8d3f92010-05-11 19:42:16820 if (__delim_)
821 *__out_stream_ << __delim_;
822 return *this;
823 }
824
825 _LIBCPP_INLINE_VISIBILITY ostream_iterator& operator*() {return *this;}
826 _LIBCPP_INLINE_VISIBILITY ostream_iterator& operator++() {return *this;}
827 _LIBCPP_INLINE_VISIBILITY ostream_iterator& operator++(int) {return *this;}
828};
829
830template<class _CharT, class _Traits>
Howard Hinnant0f678bd2013-08-12 18:38:34831class _LIBCPP_TYPE_VIS_ONLY istreambuf_iterator
Howard Hinnantbc8d3f92010-05-11 19:42:16832 : public iterator<input_iterator_tag, _CharT,
833 typename _Traits::off_type, _CharT*,
834 _CharT>
835{
836public:
837 typedef _CharT char_type;
838 typedef _Traits traits_type;
839 typedef typename _Traits::int_type int_type;
840 typedef basic_streambuf<_CharT,_Traits> streambuf_type;
841 typedef basic_istream<_CharT,_Traits> istream_type;
842private:
Howard Hinnant984f10f2012-11-16 22:17:23843 mutable streambuf_type* __sbuf_;
Howard Hinnantbc8d3f92010-05-11 19:42:16844
845 class __proxy
846 {
847 char_type __keep_;
848 streambuf_type* __sbuf_;
849 _LIBCPP_INLINE_VISIBILITY __proxy(char_type __c, streambuf_type* __s)
850 : __keep_(__c), __sbuf_(__s) {}
851 friend class istreambuf_iterator;
852 public:
853 _LIBCPP_INLINE_VISIBILITY char_type operator*() const {return __keep_;}
854 };
855
Howard Hinnant82894812010-09-22 16:48:34856 _LIBCPP_INLINE_VISIBILITY
Howard Hinnant984f10f2012-11-16 22:17:23857 bool __test_for_eof() const
Howard Hinnantbc8d3f92010-05-11 19:42:16858 {
859 if (__sbuf_ && traits_type::eq_int_type(__sbuf_->sgetc(), traits_type::eof()))
860 __sbuf_ = 0;
Howard Hinnant984f10f2012-11-16 22:17:23861 return __sbuf_ == 0;
Howard Hinnantbc8d3f92010-05-11 19:42:16862 }
863public:
Howard Hinnant984f10f2012-11-16 22:17:23864 _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR istreambuf_iterator() _NOEXCEPT : __sbuf_(0) {}
Howard Hinnantd06a6402012-07-20 19:36:34865 _LIBCPP_INLINE_VISIBILITY istreambuf_iterator(istream_type& __s) _NOEXCEPT
Howard Hinnantd1a74792012-12-29 17:45:42866 : __sbuf_(__s.rdbuf()) {}
Howard Hinnantd06a6402012-07-20 19:36:34867 _LIBCPP_INLINE_VISIBILITY istreambuf_iterator(streambuf_type* __s) _NOEXCEPT
Howard Hinnantd1a74792012-12-29 17:45:42868 : __sbuf_(__s) {}
Howard Hinnantd06a6402012-07-20 19:36:34869 _LIBCPP_INLINE_VISIBILITY istreambuf_iterator(const __proxy& __p) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16870 : __sbuf_(__p.__sbuf_) {}
871
Howard Hinnantec3773c2011-12-01 20:21:04872 _LIBCPP_INLINE_VISIBILITY char_type operator*() const
873 {return static_cast<char_type>(__sbuf_->sgetc());}
Howard Hinnantbc8d3f92010-05-11 19:42:16874 _LIBCPP_INLINE_VISIBILITY char_type* operator->() const {return nullptr;}
875 _LIBCPP_INLINE_VISIBILITY istreambuf_iterator& operator++()
876 {
Howard Hinnant984f10f2012-11-16 22:17:23877 __sbuf_->sbumpc();
Howard Hinnantbc8d3f92010-05-11 19:42:16878 return *this;
879 }
880 _LIBCPP_INLINE_VISIBILITY __proxy operator++(int)
881 {
Howard Hinnant984f10f2012-11-16 22:17:23882 return __proxy(__sbuf_->sbumpc(), __sbuf_);
Howard Hinnantbc8d3f92010-05-11 19:42:16883 }
884
885 _LIBCPP_INLINE_VISIBILITY bool equal(const istreambuf_iterator& __b) const
Howard Hinnant984f10f2012-11-16 22:17:23886 {return __test_for_eof() == __b.__test_for_eof();}
Howard Hinnantbc8d3f92010-05-11 19:42:16887};
888
889template <class _CharT, class _Traits>
890inline _LIBCPP_INLINE_VISIBILITY
891bool operator==(const istreambuf_iterator<_CharT,_Traits>& __a,
892 const istreambuf_iterator<_CharT,_Traits>& __b)
893 {return __a.equal(__b);}
894
895template <class _CharT, class _Traits>
896inline _LIBCPP_INLINE_VISIBILITY
897bool operator!=(const istreambuf_iterator<_CharT,_Traits>& __a,
898 const istreambuf_iterator<_CharT,_Traits>& __b)
899 {return !__a.equal(__b);}
900
901template <class _CharT, class _Traits>
Howard Hinnant0f678bd2013-08-12 18:38:34902class _LIBCPP_TYPE_VIS_ONLY ostreambuf_iterator
Howard Hinnantbc8d3f92010-05-11 19:42:16903 : public iterator<output_iterator_tag, void, void, void, void>
904{
905public:
906 typedef _CharT char_type;
907 typedef _Traits traits_type;
908 typedef basic_streambuf<_CharT,_Traits> streambuf_type;
909 typedef basic_ostream<_CharT,_Traits> ostream_type;
910private:
911 streambuf_type* __sbuf_;
912public:
Howard Hinnantd06a6402012-07-20 19:36:34913 _LIBCPP_INLINE_VISIBILITY ostreambuf_iterator(ostream_type& __s) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16914 : __sbuf_(__s.rdbuf()) {}
Howard Hinnantd06a6402012-07-20 19:36:34915 _LIBCPP_INLINE_VISIBILITY ostreambuf_iterator(streambuf_type* __s) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16916 : __sbuf_(__s) {}
917 _LIBCPP_INLINE_VISIBILITY ostreambuf_iterator& operator=(_CharT __c)
918 {
919 if (__sbuf_ && traits_type::eq_int_type(__sbuf_->sputc(__c), traits_type::eof()))
920 __sbuf_ = 0;
921 return *this;
922 }
923 _LIBCPP_INLINE_VISIBILITY ostreambuf_iterator& operator*() {return *this;}
924 _LIBCPP_INLINE_VISIBILITY ostreambuf_iterator& operator++() {return *this;}
925 _LIBCPP_INLINE_VISIBILITY ostreambuf_iterator& operator++(int) {return *this;}
Howard Hinnantd06a6402012-07-20 19:36:34926 _LIBCPP_INLINE_VISIBILITY bool failed() const _NOEXCEPT {return __sbuf_ == 0;}
Howard Hinnanta585de62012-09-19 19:14:15927
Howard Hinnant537b2fa2012-11-14 21:17:15928#if !defined(__APPLE__) || \
929 (defined(__MAC_OS_X_VERSION_MIN_REQUIRED) && __MAC_OS_X_VERSION_MIN_REQUIRED > __MAC_10_8) || \
930 (defined(__IPHONE_OS_VERSION_MIN_REQUIRED) && __IPHONE_OS_VERSION_MIN_REQUIRED > __IPHONE_6_0)
931
Howard Hinnanta585de62012-09-19 19:14:15932 template <class _Ch, class _Tr>
933 friend
934 _LIBCPP_HIDDEN
935 ostreambuf_iterator<_Ch, _Tr>
936 __pad_and_output(ostreambuf_iterator<_Ch, _Tr> __s,
937 const _Ch* __ob, const _Ch* __op, const _Ch* __oe,
938 ios_base& __iob, _Ch __fl);
Howard Hinnant537b2fa2012-11-14 21:17:15939#endif
Howard Hinnantbc8d3f92010-05-11 19:42:16940};
941
942template <class _Iter>
Howard Hinnant0f678bd2013-08-12 18:38:34943class _LIBCPP_TYPE_VIS_ONLY move_iterator
Howard Hinnantbc8d3f92010-05-11 19:42:16944{
945private:
946 _Iter __i;
947public:
948 typedef _Iter iterator_type;
949 typedef typename iterator_traits<iterator_type>::iterator_category iterator_category;
950 typedef typename iterator_traits<iterator_type>::value_type value_type;
951 typedef typename iterator_traits<iterator_type>::difference_type difference_type;
Marshall Clowdca800c2016-04-11 03:54:53952 typedef iterator_type pointer;
Howard Hinnant73d21a42010-09-04 23:28:19953#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
Eric Fiselierdf46b782016-04-22 00:49:12954 typedef typename iterator_traits<iterator_type>::reference __reference;
955 typedef typename conditional<
956 is_reference<__reference>::value,
957 typename remove_reference<__reference>::type&&,
958 __reference
959 >::type reference;
Howard Hinnantbc8d3f92010-05-11 19:42:16960#else
961 typedef typename iterator_traits<iterator_type>::reference reference;
962#endif
Howard Hinnant324bb032010-08-22 00:02:43963
Howard Hinnantbc8d3f92010-05-11 19:42:16964 _LIBCPP_INLINE_VISIBILITY move_iterator() : __i() {}
965 _LIBCPP_INLINE_VISIBILITY explicit move_iterator(_Iter __x) : __i(__x) {}
966 template <class _Up> _LIBCPP_INLINE_VISIBILITY move_iterator(const move_iterator<_Up>& __u)
967 : __i(__u.base()) {}
968 _LIBCPP_INLINE_VISIBILITY _Iter base() const {return __i;}
Douglas Gregoraab015a2011-01-26 00:12:48969 _LIBCPP_INLINE_VISIBILITY reference operator*() const {
970 return static_cast<reference>(*__i);
971 }
Marshall Clowdca800c2016-04-11 03:54:53972 _LIBCPP_INLINE_VISIBILITY pointer operator->() const { return __i;}
Howard Hinnantbc8d3f92010-05-11 19:42:16973 _LIBCPP_INLINE_VISIBILITY move_iterator& operator++() {++__i; return *this;}
974 _LIBCPP_INLINE_VISIBILITY move_iterator operator++(int)
975 {move_iterator __tmp(*this); ++__i; return __tmp;}
976 _LIBCPP_INLINE_VISIBILITY move_iterator& operator--() {--__i; return *this;}
977 _LIBCPP_INLINE_VISIBILITY move_iterator operator--(int)
978 {move_iterator __tmp(*this); --__i; return __tmp;}
979 _LIBCPP_INLINE_VISIBILITY move_iterator operator+ (difference_type __n) const
980 {return move_iterator(__i + __n);}
981 _LIBCPP_INLINE_VISIBILITY move_iterator& operator+=(difference_type __n)
982 {__i += __n; return *this;}
983 _LIBCPP_INLINE_VISIBILITY move_iterator operator- (difference_type __n) const
984 {return move_iterator(__i - __n);}
985 _LIBCPP_INLINE_VISIBILITY move_iterator& operator-=(difference_type __n)
986 {__i -= __n; return *this;}
987 _LIBCPP_INLINE_VISIBILITY reference operator[](difference_type __n) const
Douglas Gregoraab015a2011-01-26 00:12:48988 {
989 return static_cast<reference>(__i[__n]);
990 }
Howard Hinnantbc8d3f92010-05-11 19:42:16991};
992
993template <class _Iter1, class _Iter2>
994inline _LIBCPP_INLINE_VISIBILITY
995bool
996operator==(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y)
997{
998 return __x.base() == __y.base();
999}
1000
1001template <class _Iter1, class _Iter2>
1002inline _LIBCPP_INLINE_VISIBILITY
1003bool
1004operator<(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y)
1005{
1006 return __x.base() < __y.base();
1007}
1008
1009template <class _Iter1, class _Iter2>
1010inline _LIBCPP_INLINE_VISIBILITY
1011bool
1012operator!=(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y)
1013{
1014 return __x.base() != __y.base();
1015}
1016
1017template <class _Iter1, class _Iter2>
1018inline _LIBCPP_INLINE_VISIBILITY
1019bool
1020operator>(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y)
1021{
1022 return __x.base() > __y.base();
1023}
1024
1025template <class _Iter1, class _Iter2>
1026inline _LIBCPP_INLINE_VISIBILITY
1027bool
1028operator>=(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y)
1029{
1030 return __x.base() >= __y.base();
1031}
1032
1033template <class _Iter1, class _Iter2>
1034inline _LIBCPP_INLINE_VISIBILITY
1035bool
1036operator<=(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y)
1037{
1038 return __x.base() <= __y.base();
1039}
1040
1041template <class _Iter1, class _Iter2>
1042inline _LIBCPP_INLINE_VISIBILITY
1043typename move_iterator<_Iter1>::difference_type
1044operator-(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y)
1045{
1046 return __x.base() - __y.base();
1047}
1048
1049template <class _Iter>
1050inline _LIBCPP_INLINE_VISIBILITY
1051move_iterator<_Iter>
1052operator+(typename move_iterator<_Iter>::difference_type __n, const move_iterator<_Iter>& __x)
1053{
1054 return move_iterator<_Iter>(__x.base() + __n);
1055}
1056
1057template <class _Iter>
1058inline _LIBCPP_INLINE_VISIBILITY
1059move_iterator<_Iter>
Marshall Clowaf746512013-08-27 13:03:031060make_move_iterator(_Iter __i)
Howard Hinnantbc8d3f92010-05-11 19:42:161061{
1062 return move_iterator<_Iter>(__i);
1063}
1064
1065// __wrap_iter
1066
1067template <class _Iter> class __wrap_iter;
1068
1069template <class _Iter1, class _Iter2>
Howard Hinnant33be35e2012-09-14 00:39:161070_LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161071bool
Howard Hinnanta6119a82011-05-29 19:57:121072operator==(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161073
1074template <class _Iter1, class _Iter2>
Howard Hinnant33be35e2012-09-14 00:39:161075_LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161076bool
Howard Hinnanta6119a82011-05-29 19:57:121077operator<(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161078
1079template <class _Iter1, class _Iter2>
Howard Hinnant33be35e2012-09-14 00:39:161080_LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161081bool
Howard Hinnanta6119a82011-05-29 19:57:121082operator!=(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161083
1084template <class _Iter1, class _Iter2>
Howard Hinnant33be35e2012-09-14 00:39:161085_LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161086bool
Howard Hinnanta6119a82011-05-29 19:57:121087operator>(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161088
1089template <class _Iter1, class _Iter2>
Howard Hinnant33be35e2012-09-14 00:39:161090_LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161091bool
Howard Hinnanta6119a82011-05-29 19:57:121092operator>=(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161093
1094template <class _Iter1, class _Iter2>
Howard Hinnant33be35e2012-09-14 00:39:161095_LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161096bool
Howard Hinnanta6119a82011-05-29 19:57:121097operator<=(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161098
1099template <class _Iter1, class _Iter2>
Howard Hinnant33be35e2012-09-14 00:39:161100_LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161101typename __wrap_iter<_Iter1>::difference_type
Howard Hinnanta6119a82011-05-29 19:57:121102operator-(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161103
1104template <class _Iter>
Howard Hinnant33be35e2012-09-14 00:39:161105_LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161106__wrap_iter<_Iter>
Howard Hinnant2baccd82011-10-11 21:28:381107operator+(typename __wrap_iter<_Iter>::difference_type, __wrap_iter<_Iter>) _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161108
Howard Hinnant33be35e2012-09-14 00:39:161109template <class _Ip, class _Op> _Op _LIBCPP_INLINE_VISIBILITY copy(_Ip, _Ip, _Op);
1110template <class _B1, class _B2> _B2 _LIBCPP_INLINE_VISIBILITY copy_backward(_B1, _B1, _B2);
1111template <class _Ip, class _Op> _Op _LIBCPP_INLINE_VISIBILITY move(_Ip, _Ip, _Op);
1112template <class _B1, class _B2> _B2 _LIBCPP_INLINE_VISIBILITY move_backward(_B1, _B1, _B2);
Howard Hinnantbc8d3f92010-05-11 19:42:161113
1114template <class _Tp>
Howard Hinnant33be35e2012-09-14 00:39:161115_LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161116typename enable_if
1117<
Howard Hinnant1468b662010-11-19 22:17:281118 is_trivially_copy_assignable<_Tp>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:161119 _Tp*
1120>::type
1121__unwrap_iter(__wrap_iter<_Tp*>);
1122
1123template <class _Iter>
1124class __wrap_iter
1125{
1126public:
1127 typedef _Iter iterator_type;
1128 typedef typename iterator_traits<iterator_type>::iterator_category iterator_category;
1129 typedef typename iterator_traits<iterator_type>::value_type value_type;
1130 typedef typename iterator_traits<iterator_type>::difference_type difference_type;
1131 typedef typename iterator_traits<iterator_type>::pointer pointer;
1132 typedef typename iterator_traits<iterator_type>::reference reference;
1133private:
1134 iterator_type __i;
1135public:
Howard Hinnant7608b4a2011-09-16 19:52:231136 _LIBCPP_INLINE_VISIBILITY __wrap_iter() _NOEXCEPT
Marshall Clow0f164c92013-08-07 20:48:481137#if _LIBCPP_STD_VER > 11
1138 : __i{}
1139#endif
Howard Hinnant7608b4a2011-09-16 19:52:231140 {
1141#if _LIBCPP_DEBUG_LEVEL >= 2
1142 __get_db()->__insert_i(this);
1143#endif
1144 }
Howard Hinnantbc8d3f92010-05-11 19:42:161145 template <class _Up> _LIBCPP_INLINE_VISIBILITY __wrap_iter(const __wrap_iter<_Up>& __u,
Howard Hinnanta6119a82011-05-29 19:57:121146 typename enable_if<is_convertible<_Up, iterator_type>::value>::type* = 0) _NOEXCEPT
Howard Hinnant7a563db2011-09-14 18:33:511147 : __i(__u.base())
1148 {
Howard Hinnantabe26282011-09-16 17:29:171149#if _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnant7a563db2011-09-14 18:33:511150 __get_db()->__iterator_copy(this, &__u);
1151#endif
1152 }
Howard Hinnantabe26282011-09-16 17:29:171153#if _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnant7a563db2011-09-14 18:33:511154 _LIBCPP_INLINE_VISIBILITY
1155 __wrap_iter(const __wrap_iter& __x)
1156 : __i(__x.base())
1157 {
1158 __get_db()->__iterator_copy(this, &__x);
1159 }
1160 _LIBCPP_INLINE_VISIBILITY
1161 __wrap_iter& operator=(const __wrap_iter& __x)
1162 {
1163 if (this != &__x)
1164 {
1165 __get_db()->__iterator_copy(this, &__x);
1166 __i = __x.__i;
1167 }
1168 return *this;
1169 }
1170 _LIBCPP_INLINE_VISIBILITY
1171 ~__wrap_iter()
1172 {
1173 __get_db()->__erase_i(this);
1174 }
1175#endif
1176 _LIBCPP_INLINE_VISIBILITY reference operator*() const _NOEXCEPT
1177 {
Howard Hinnantabe26282011-09-16 17:29:171178#if _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnant7a563db2011-09-14 18:33:511179 _LIBCPP_ASSERT(__get_const_db()->__dereferenceable(this),
1180 "Attempted to dereference a non-dereferenceable iterator");
Howard Hinnantabe26282011-09-16 17:29:171181#endif
Howard Hinnant7a563db2011-09-14 18:33:511182 return *__i;
1183 }
Howard Hinnant2c39cbe2013-06-27 19:35:321184 _LIBCPP_INLINE_VISIBILITY pointer operator->() const _NOEXCEPT
1185 {
1186#if _LIBCPP_DEBUG_LEVEL >= 2
1187 _LIBCPP_ASSERT(__get_const_db()->__dereferenceable(this),
1188 "Attempted to dereference a non-dereferenceable iterator");
1189#endif
Marshall Clowdca800c2016-04-11 03:54:531190 return (pointer)_VSTD::addressof(*__i);
Howard Hinnant2c39cbe2013-06-27 19:35:321191 }
Howard Hinnant7a563db2011-09-14 18:33:511192 _LIBCPP_INLINE_VISIBILITY __wrap_iter& operator++() _NOEXCEPT
1193 {
Howard Hinnantabe26282011-09-16 17:29:171194#if _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnant7a563db2011-09-14 18:33:511195 _LIBCPP_ASSERT(__get_const_db()->__dereferenceable(this),
1196 "Attempted to increment non-incrementable iterator");
Howard Hinnantabe26282011-09-16 17:29:171197#endif
Howard Hinnant7a563db2011-09-14 18:33:511198 ++__i;
1199 return *this;
1200 }
Howard Hinnanta6119a82011-05-29 19:57:121201 _LIBCPP_INLINE_VISIBILITY __wrap_iter operator++(int) _NOEXCEPT
Howard Hinnant7a563db2011-09-14 18:33:511202 {__wrap_iter __tmp(*this); ++(*this); return __tmp;}
1203 _LIBCPP_INLINE_VISIBILITY __wrap_iter& operator--() _NOEXCEPT
1204 {
Howard Hinnantabe26282011-09-16 17:29:171205#if _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnant7a563db2011-09-14 18:33:511206 _LIBCPP_ASSERT(__get_const_db()->__decrementable(this),
1207 "Attempted to decrement non-decrementable iterator");
Howard Hinnantabe26282011-09-16 17:29:171208#endif
Howard Hinnant7a563db2011-09-14 18:33:511209 --__i;
1210 return *this;
1211 }
Howard Hinnanta6119a82011-05-29 19:57:121212 _LIBCPP_INLINE_VISIBILITY __wrap_iter operator--(int) _NOEXCEPT
Howard Hinnant7a563db2011-09-14 18:33:511213 {__wrap_iter __tmp(*this); --(*this); return __tmp;}
Howard Hinnanta6119a82011-05-29 19:57:121214 _LIBCPP_INLINE_VISIBILITY __wrap_iter operator+ (difference_type __n) const _NOEXCEPT
Howard Hinnant7a563db2011-09-14 18:33:511215 {__wrap_iter __w(*this); __w += __n; return __w;}
Howard Hinnanta6119a82011-05-29 19:57:121216 _LIBCPP_INLINE_VISIBILITY __wrap_iter& operator+=(difference_type __n) _NOEXCEPT
Howard Hinnant7a563db2011-09-14 18:33:511217 {
Howard Hinnantabe26282011-09-16 17:29:171218#if _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnant7a563db2011-09-14 18:33:511219 _LIBCPP_ASSERT(__get_const_db()->__addable(this, __n),
1220 "Attempted to add/subtract iterator outside of valid range");
Howard Hinnantabe26282011-09-16 17:29:171221#endif
Howard Hinnant7a563db2011-09-14 18:33:511222 __i += __n;
1223 return *this;
1224 }
Howard Hinnanta6119a82011-05-29 19:57:121225 _LIBCPP_INLINE_VISIBILITY __wrap_iter operator- (difference_type __n) const _NOEXCEPT
Howard Hinnant7a563db2011-09-14 18:33:511226 {return *this + (-__n);}
Howard Hinnanta6119a82011-05-29 19:57:121227 _LIBCPP_INLINE_VISIBILITY __wrap_iter& operator-=(difference_type __n) _NOEXCEPT
Howard Hinnant7a563db2011-09-14 18:33:511228 {*this += -__n; return *this;}
Howard Hinnanta6119a82011-05-29 19:57:121229 _LIBCPP_INLINE_VISIBILITY reference operator[](difference_type __n) const _NOEXCEPT
Howard Hinnant7a563db2011-09-14 18:33:511230 {
Howard Hinnantabe26282011-09-16 17:29:171231#if _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnant7a563db2011-09-14 18:33:511232 _LIBCPP_ASSERT(__get_const_db()->__subscriptable(this, __n),
1233 "Attempted to subscript iterator outside of valid range");
Howard Hinnantabe26282011-09-16 17:29:171234#endif
Howard Hinnant7a563db2011-09-14 18:33:511235 return __i[__n];
1236 }
Howard Hinnantbc8d3f92010-05-11 19:42:161237
Howard Hinnanta6119a82011-05-29 19:57:121238 _LIBCPP_INLINE_VISIBILITY iterator_type base() const _NOEXCEPT {return __i;}
Howard Hinnantbc8d3f92010-05-11 19:42:161239
1240private:
Howard Hinnantabe26282011-09-16 17:29:171241#if _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnant7a563db2011-09-14 18:33:511242 _LIBCPP_INLINE_VISIBILITY __wrap_iter(const void* __p, iterator_type __x) : __i(__x)
1243 {
1244 __get_db()->__insert_ic(this, __p);
1245 }
Howard Hinnant499cea12013-08-23 17:37:051246#else
1247 _LIBCPP_INLINE_VISIBILITY __wrap_iter(iterator_type __x) _NOEXCEPT : __i(__x) {}
Howard Hinnant7a563db2011-09-14 18:33:511248#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161249
1250 template <class _Up> friend class __wrap_iter;
1251 template <class _CharT, class _Traits, class _Alloc> friend class basic_string;
Marshall Clow59f573f2015-02-18 19:28:351252 template <class _Tp, class _Alloc> friend class _LIBCPP_TYPE_VIS_ONLY vector;
Howard Hinnantbc8d3f92010-05-11 19:42:161253
1254 template <class _Iter1, class _Iter2>
1255 friend
1256 bool
Howard Hinnanta6119a82011-05-29 19:57:121257 operator==(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnant324bb032010-08-22 00:02:431258
Howard Hinnantbc8d3f92010-05-11 19:42:161259 template <class _Iter1, class _Iter2>
1260 friend
1261 bool
Howard Hinnanta6119a82011-05-29 19:57:121262 operator<(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnant324bb032010-08-22 00:02:431263
Howard Hinnantbc8d3f92010-05-11 19:42:161264 template <class _Iter1, class _Iter2>
1265 friend
1266 bool
Howard Hinnanta6119a82011-05-29 19:57:121267 operator!=(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnant324bb032010-08-22 00:02:431268
Howard Hinnantbc8d3f92010-05-11 19:42:161269 template <class _Iter1, class _Iter2>
1270 friend
1271 bool
Howard Hinnanta6119a82011-05-29 19:57:121272 operator>(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnant324bb032010-08-22 00:02:431273
Howard Hinnantbc8d3f92010-05-11 19:42:161274 template <class _Iter1, class _Iter2>
1275 friend
1276 bool
Howard Hinnanta6119a82011-05-29 19:57:121277 operator>=(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnant324bb032010-08-22 00:02:431278
Howard Hinnantbc8d3f92010-05-11 19:42:161279 template <class _Iter1, class _Iter2>
1280 friend
1281 bool
Howard Hinnanta6119a82011-05-29 19:57:121282 operator<=(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnant324bb032010-08-22 00:02:431283
Howard Hinnantbc8d3f92010-05-11 19:42:161284 template <class _Iter1, class _Iter2>
1285 friend
1286 typename __wrap_iter<_Iter1>::difference_type
Howard Hinnanta6119a82011-05-29 19:57:121287 operator-(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT;
Howard Hinnant324bb032010-08-22 00:02:431288
Howard Hinnantbc8d3f92010-05-11 19:42:161289 template <class _Iter1>
1290 friend
1291 __wrap_iter<_Iter1>
Howard Hinnant2baccd82011-10-11 21:28:381292 operator+(typename __wrap_iter<_Iter1>::difference_type, __wrap_iter<_Iter1>) _NOEXCEPT;
Howard Hinnantbc8d3f92010-05-11 19:42:161293
Howard Hinnant99968442011-11-29 18:15:501294 template <class _Ip, class _Op> friend _Op copy(_Ip, _Ip, _Op);
Howard Hinnantbc8d3f92010-05-11 19:42:161295 template <class _B1, class _B2> friend _B2 copy_backward(_B1, _B1, _B2);
Howard Hinnant99968442011-11-29 18:15:501296 template <class _Ip, class _Op> friend _Op move(_Ip, _Ip, _Op);
Howard Hinnantbc8d3f92010-05-11 19:42:161297 template <class _B1, class _B2> friend _B2 move_backward(_B1, _B1, _B2);
1298
1299 template <class _Tp>
1300 friend
1301 typename enable_if
1302 <
Howard Hinnant1468b662010-11-19 22:17:281303 is_trivially_copy_assignable<_Tp>::value,
Howard Hinnantbc8d3f92010-05-11 19:42:161304 _Tp*
1305 >::type
1306 __unwrap_iter(__wrap_iter<_Tp*>);
1307};
1308
1309template <class _Iter1, class _Iter2>
1310inline _LIBCPP_INLINE_VISIBILITY
1311bool
Howard Hinnanta6119a82011-05-29 19:57:121312operator==(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161313{
1314 return __x.base() == __y.base();
1315}
1316
1317template <class _Iter1, class _Iter2>
1318inline _LIBCPP_INLINE_VISIBILITY
1319bool
Howard Hinnanta6119a82011-05-29 19:57:121320operator<(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161321{
Howard Hinnantabe26282011-09-16 17:29:171322#if _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnant8b00e6c2013-08-02 00:26:351323 _LIBCPP_ASSERT(__get_const_db()->__less_than_comparable(&__x, &__y),
Howard Hinnant7a563db2011-09-14 18:33:511324 "Attempted to compare incomparable iterators");
Howard Hinnantabe26282011-09-16 17:29:171325#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161326 return __x.base() < __y.base();
1327}
1328
1329template <class _Iter1, class _Iter2>
1330inline _LIBCPP_INLINE_VISIBILITY
1331bool
Howard Hinnanta6119a82011-05-29 19:57:121332operator!=(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161333{
Howard Hinnant7a563db2011-09-14 18:33:511334 return !(__x == __y);
Howard Hinnantbc8d3f92010-05-11 19:42:161335}
1336
1337template <class _Iter1, class _Iter2>
1338inline _LIBCPP_INLINE_VISIBILITY
1339bool
Howard Hinnanta6119a82011-05-29 19:57:121340operator>(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161341{
Howard Hinnant7a563db2011-09-14 18:33:511342 return __y < __x;
Howard Hinnantbc8d3f92010-05-11 19:42:161343}
1344
1345template <class _Iter1, class _Iter2>
1346inline _LIBCPP_INLINE_VISIBILITY
1347bool
Howard Hinnanta6119a82011-05-29 19:57:121348operator>=(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161349{
Howard Hinnant7a563db2011-09-14 18:33:511350 return !(__x < __y);
Howard Hinnantbc8d3f92010-05-11 19:42:161351}
1352
1353template <class _Iter1, class _Iter2>
1354inline _LIBCPP_INLINE_VISIBILITY
1355bool
Howard Hinnanta6119a82011-05-29 19:57:121356operator<=(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161357{
Howard Hinnant7a563db2011-09-14 18:33:511358 return !(__y < __x);
Howard Hinnantbc8d3f92010-05-11 19:42:161359}
1360
Howard Hinnant95c0e9f2012-10-02 19:45:421361template <class _Iter1>
1362inline _LIBCPP_INLINE_VISIBILITY
1363bool
1364operator!=(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter1>& __y) _NOEXCEPT
1365{
1366 return !(__x == __y);
1367}
1368
1369template <class _Iter1>
1370inline _LIBCPP_INLINE_VISIBILITY
1371bool
1372operator>(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter1>& __y) _NOEXCEPT
1373{
1374 return __y < __x;
1375}
1376
1377template <class _Iter1>
1378inline _LIBCPP_INLINE_VISIBILITY
1379bool
1380operator>=(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter1>& __y) _NOEXCEPT
1381{
1382 return !(__x < __y);
1383}
1384
1385template <class _Iter1>
1386inline _LIBCPP_INLINE_VISIBILITY
1387bool
1388operator<=(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter1>& __y) _NOEXCEPT
1389{
1390 return !(__y < __x);
1391}
1392
Howard Hinnantbc8d3f92010-05-11 19:42:161393template <class _Iter1, class _Iter2>
1394inline _LIBCPP_INLINE_VISIBILITY
1395typename __wrap_iter<_Iter1>::difference_type
Howard Hinnanta6119a82011-05-29 19:57:121396operator-(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161397{
Howard Hinnantabe26282011-09-16 17:29:171398#if _LIBCPP_DEBUG_LEVEL >= 2
Howard Hinnant8b00e6c2013-08-02 00:26:351399 _LIBCPP_ASSERT(__get_const_db()->__less_than_comparable(&__x, &__y),
Howard Hinnant7a563db2011-09-14 18:33:511400 "Attempted to subtract incompatible iterators");
Howard Hinnantabe26282011-09-16 17:29:171401#endif
Howard Hinnantbc8d3f92010-05-11 19:42:161402 return __x.base() - __y.base();
1403}
1404
1405template <class _Iter>
1406inline _LIBCPP_INLINE_VISIBILITY
1407__wrap_iter<_Iter>
1408operator+(typename __wrap_iter<_Iter>::difference_type __n,
Howard Hinnant7a563db2011-09-14 18:33:511409 __wrap_iter<_Iter> __x) _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:161410{
Howard Hinnant7a563db2011-09-14 18:33:511411 __x += __n;
1412 return __x;
Howard Hinnantbc8d3f92010-05-11 19:42:161413}
1414
Marshall Clowdf9db312016-01-13 21:54:341415template <class _Iter>
1416struct __libcpp_is_trivial_iterator
1417: public _LIBCPP_BOOL_CONSTANT(is_pointer<_Iter>::value) {};
1418
1419template <class _Iter>
1420struct __libcpp_is_trivial_iterator<move_iterator<_Iter> >
1421: public _LIBCPP_BOOL_CONSTANT(__libcpp_is_trivial_iterator<_Iter>::value) {};
1422
1423template <class _Iter>
1424struct __libcpp_is_trivial_iterator<reverse_iterator<_Iter> >
1425: public _LIBCPP_BOOL_CONSTANT(__libcpp_is_trivial_iterator<_Iter>::value) {};
1426
1427template <class _Iter>
1428struct __libcpp_is_trivial_iterator<__wrap_iter<_Iter> >
1429: public _LIBCPP_BOOL_CONSTANT(__libcpp_is_trivial_iterator<_Iter>::value) {};
1430
1431
Marshall Clow6daf5342013-12-02 03:24:331432template <class _Tp, size_t _Np>
Marshall Clow9dacb2f2014-02-19 17:53:301433inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Marshall Clow6daf5342013-12-02 03:24:331434_Tp*
1435begin(_Tp (&__array)[_Np])
1436{
1437 return __array;
1438}
1439
1440template <class _Tp, size_t _Np>
Marshall Clow9dacb2f2014-02-19 17:53:301441inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Marshall Clow6daf5342013-12-02 03:24:331442_Tp*
1443end(_Tp (&__array)[_Np])
1444{
1445 return __array + _Np;
1446}
1447
Marshall Clow1c398692013-12-11 19:32:321448#if !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_TRAILING_RETURN)
1449
Howard Hinnant99968442011-11-29 18:15:501450template <class _Cp>
Howard Hinnant82894812010-09-22 16:48:341451inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161452auto
Howard Hinnant99968442011-11-29 18:15:501453begin(_Cp& __c) -> decltype(__c.begin())
Howard Hinnantbc8d3f92010-05-11 19:42:161454{
1455 return __c.begin();
1456}
1457
Howard Hinnant99968442011-11-29 18:15:501458template <class _Cp>
Howard Hinnant82894812010-09-22 16:48:341459inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161460auto
Howard Hinnant99968442011-11-29 18:15:501461begin(const _Cp& __c) -> decltype(__c.begin())
Howard Hinnantbc8d3f92010-05-11 19:42:161462{
1463 return __c.begin();
1464}
1465
Howard Hinnant99968442011-11-29 18:15:501466template <class _Cp>
Howard Hinnant82894812010-09-22 16:48:341467inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161468auto
Howard Hinnant99968442011-11-29 18:15:501469end(_Cp& __c) -> decltype(__c.end())
Howard Hinnantbc8d3f92010-05-11 19:42:161470{
1471 return __c.end();
1472}
1473
Howard Hinnant99968442011-11-29 18:15:501474template <class _Cp>
Howard Hinnant82894812010-09-22 16:48:341475inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnantbc8d3f92010-05-11 19:42:161476auto
Howard Hinnant99968442011-11-29 18:15:501477end(const _Cp& __c) -> decltype(__c.end())
Howard Hinnantbc8d3f92010-05-11 19:42:161478{
1479 return __c.end();
1480}
1481
Marshall Clow09da3c02013-08-30 01:17:071482#if _LIBCPP_STD_VER > 11
1483
Marshall Clow6daf5342013-12-02 03:24:331484template <class _Tp, size_t _Np>
1485inline _LIBCPP_INLINE_VISIBILITY
1486reverse_iterator<_Tp*> rbegin(_Tp (&__array)[_Np])
1487{
1488 return reverse_iterator<_Tp*>(__array + _Np);
1489}
1490
1491template <class _Tp, size_t _Np>
1492inline _LIBCPP_INLINE_VISIBILITY
1493reverse_iterator<_Tp*> rend(_Tp (&__array)[_Np])
1494{
1495 return reverse_iterator<_Tp*>(__array);
1496}
1497
1498template <class _Ep>
1499inline _LIBCPP_INLINE_VISIBILITY
1500reverse_iterator<const _Ep*> rbegin(initializer_list<_Ep> __il)
1501{
1502 return reverse_iterator<const _Ep*>(__il.end());
1503}
1504
1505template <class _Ep>
1506inline _LIBCPP_INLINE_VISIBILITY
1507reverse_iterator<const _Ep*> rend(initializer_list<_Ep> __il)
1508{
1509 return reverse_iterator<const _Ep*>(__il.begin());
1510}
1511
Marshall Clow09da3c02013-08-30 01:17:071512template <class _Cp>
Marshall Clow9dacb2f2014-02-19 17:53:301513inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Marshall Clow09da3c02013-08-30 01:17:071514auto cbegin(const _Cp& __c) -> decltype(begin(__c))
1515{
Marshall Clow9dacb2f2014-02-19 17:53:301516 return begin(__c);
Marshall Clow09da3c02013-08-30 01:17:071517}
1518
1519template <class _Cp>
Marshall Clow9dacb2f2014-02-19 17:53:301520inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_AFTER_CXX11
Marshall Clow09da3c02013-08-30 01:17:071521auto cend(const _Cp& __c) -> decltype(end(__c))
1522{
Marshall Clow9dacb2f2014-02-19 17:53:301523 return end(__c);
Marshall Clow09da3c02013-08-30 01:17:071524}
1525
1526template <class _Cp>
1527inline _LIBCPP_INLINE_VISIBILITY
1528auto rbegin(_Cp& __c) -> decltype(__c.rbegin())
1529{
1530 return __c.rbegin();
1531}
1532
1533template <class _Cp>
1534inline _LIBCPP_INLINE_VISIBILITY
1535auto rbegin(const _Cp& __c) -> decltype(__c.rbegin())
1536{
1537 return __c.rbegin();
1538}
1539
1540template <class _Cp>
1541inline _LIBCPP_INLINE_VISIBILITY
1542auto rend(_Cp& __c) -> decltype(__c.rend())
1543{
1544 return __c.rend();
1545}
1546
1547template <class _Cp>
1548inline _LIBCPP_INLINE_VISIBILITY
1549auto rend(const _Cp& __c) -> decltype(__c.rend())
1550{
1551 return __c.rend();
1552}
1553
1554template <class _Cp>
1555inline _LIBCPP_INLINE_VISIBILITY
1556auto crbegin(const _Cp& __c) -> decltype(rbegin(__c))
1557{
1558 return rbegin(__c);
1559}
1560
1561template <class _Cp>
1562inline _LIBCPP_INLINE_VISIBILITY
1563auto crend(const _Cp& __c) -> decltype(rend(__c))
1564{
1565 return rend(__c);
1566}
1567
1568#endif
1569
1570
Howard Hinnant726a76f2010-11-16 21:10:231571#else // !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_TRAILING_RETURN)
Howard Hinnantbc8d3f92010-05-11 19:42:161572
Howard Hinnant99968442011-11-29 18:15:501573template <class _Cp>
Howard Hinnant82894812010-09-22 16:48:341574inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501575typename _Cp::iterator
1576begin(_Cp& __c)
Howard Hinnantbc8d3f92010-05-11 19:42:161577{
1578 return __c.begin();
1579}
1580
Howard Hinnant99968442011-11-29 18:15:501581template <class _Cp>
Howard Hinnant82894812010-09-22 16:48:341582inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501583typename _Cp::const_iterator
1584begin(const _Cp& __c)
Howard Hinnantbc8d3f92010-05-11 19:42:161585{
1586 return __c.begin();
1587}
1588
Howard Hinnant99968442011-11-29 18:15:501589template <class _Cp>
Howard Hinnant82894812010-09-22 16:48:341590inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501591typename _Cp::iterator
1592end(_Cp& __c)
Howard Hinnantbc8d3f92010-05-11 19:42:161593{
1594 return __c.end();
1595}
1596
Howard Hinnant99968442011-11-29 18:15:501597template <class _Cp>
Howard Hinnant82894812010-09-22 16:48:341598inline _LIBCPP_INLINE_VISIBILITY
Howard Hinnant99968442011-11-29 18:15:501599typename _Cp::const_iterator
1600end(const _Cp& __c)
Howard Hinnantbc8d3f92010-05-11 19:42:161601{
1602 return __c.end();
1603}
1604
Howard Hinnant726a76f2010-11-16 21:10:231605#endif // !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_TRAILING_RETURN)
Howard Hinnantbc8d3f92010-05-11 19:42:161606
Marshall Clow03c67912014-11-19 19:43:231607#if _LIBCPP_STD_VER > 14
Marshall Clow35e462d2015-02-11 16:14:011608template <class _Cont>
1609constexpr auto size(const _Cont& __c) -> decltype(__c.size()) { return __c.size(); }
Marshall Clow03c67912014-11-19 19:43:231610
Marshall Clow35e462d2015-02-11 16:14:011611template <class _Tp, size_t _Sz>
1612constexpr size_t size(const _Tp (&__array)[_Sz]) noexcept { return _Sz; }
Marshall Clow03c67912014-11-19 19:43:231613
Marshall Clow35e462d2015-02-11 16:14:011614template <class _Cont>
1615constexpr auto empty(const _Cont& __c) -> decltype(__c.empty()) { return __c.empty(); }
Marshall Clow03c67912014-11-19 19:43:231616
Marshall Clow35e462d2015-02-11 16:14:011617template <class _Tp, size_t _Sz>
1618constexpr bool empty(const _Tp (&__array)[_Sz]) noexcept { return false; }
Marshall Clow03c67912014-11-19 19:43:231619
1620template <class _Ep>
1621constexpr bool empty(initializer_list<_Ep> __il) noexcept { return __il.size() == 0; }
1622
Marshall Clow35e462d2015-02-11 16:14:011623template <class _Cont> constexpr
1624auto data(_Cont& __c) -> decltype(__c.data()) { return __c.data(); }
Marshall Clow03c67912014-11-19 19:43:231625
Marshall Clow35e462d2015-02-11 16:14:011626template <class _Cont> constexpr
1627auto data(const _Cont& __c) -> decltype(__c.data()) { return __c.data(); }
Marshall Clow03c67912014-11-19 19:43:231628
Marshall Clow35e462d2015-02-11 16:14:011629template <class _Tp, size_t _Sz>
1630constexpr _Tp* data(_Tp (&__array)[_Sz]) noexcept { return __array; }
Marshall Clow03c67912014-11-19 19:43:231631
1632template <class _Ep>
1633constexpr const _Ep* data(initializer_list<_Ep> __il) noexcept { return __il.begin(); }
1634#endif
1635
1636
Howard Hinnantbc8d3f92010-05-11 19:42:161637_LIBCPP_END_NAMESPACE_STD
1638
1639#endif // _LIBCPP_ITERATOR